A static type system for message passing

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Static Provenance Verification for Message Passing Programs

Provenance information records the source and ownership history of an object. We study the problem of provenance tracking in concurrent programs, in which several principals execute concurrent processes and exchange messages over unbounded but unordered channels. The provenance of a message, roughly, is a function of the sequence of principals that have transmitted the message in the past. The ...

متن کامل

Static Verification of Message Passing Programs

Many industrial applications, including safety-critical ones, consist of several disjoint components that use message passing to communicate according to some protocol. These components are typically highly concurrent, since message exchanges may occur in any order. Developing correct message passing programs is therefore very challenging, which makes proving their correctness crucial [4]. A po...

متن کامل

Type-checked message-passing between functional processes

Karlsson introduced the notion of communicating functional processes [Karlsson81]. It relied on a non-deterministic function, used within the functional program, to implement message-passing between processes. Stoye described a sorting office for inter-process messages which removed the need for non-determinism in the functional language [Stoye86]. Turner added a limited form of static type-che...

متن کامل

A Performance Modeling System for Message-Passing Parallel Programs

We present a new performance modeling system for message-passing parallel programs that is based around a Performance Evaluating Virtual Parallel Machine (PEVPM). We explain how a PEVPM model for a particular message-passing program can be developed by inserting PEVPM performance directives that describe the serial segments of computation and the message-passing events that the program contains...

متن کامل

Future-based Static Analysis of Message Passing Programs

Message passing is widely used in industry to develop programs consisting of several distributed communicating components. Developing functionally correct message passing software is very challenging due to the concurrent nature of message exchanges. Nonetheless, many safety-critical applications rely on the message passing paradigm, including air traffic control systems and emergency services,...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: ACM SIGPLAN Notices

سال: 1991

ISSN: 0362-1340,1558-1160

DOI: 10.1145/118014.117964